programming, specification (VDM-SL, Meta-IV) A
released in April 1993.
Version: BSI/VDM.
["The Vienna Development Method: The Meta-Language",
D. Bjorner et al eds, LNCS 61, Springer 1978].
["The VDM-SL Reference Guide", J. Dawes, Pitman 1991].
["Systematic Software Development Using VDM", C.B. Jones, P-H
1989].
(2000-11-02)